EÆcient \reversibility" with guards and choice
نویسنده
چکیده
We describe reversibility mechanisms incorporated into a native code Forth used an an intermediate language for a B-GSL compiler. In contrast to our previous work, information preservation is limited to what is needed to implement the B-GSL semantics for non-deterministic choice and guard. Design choices are discussed with reference to the Pentium architecture. The use of guards and choice in Forth is illustrated with the Knight's Tour.
منابع مشابه
Expressiveness of probabilistic π-calculi
In this work we propose a probabilistic extension of the π-calculus. The main novelty is a probabilistic mixed choice operator, that is, a choice construct with a probability distribution on the branches, and where input and output actions can both occur as guards. We develop the operational semantics of this calculus, and then we investigate its expressiveness. In particular, we compare it wit...
متن کاملA Fast Algorithm for Covering Rectangular Orthogonal Polygons with a Minimum Number of r-Stars
Introduction This paper presents an algorithm for covering orthogonal polygons with minimal number of guards. This idea examines the minimum number of guards for orthogonal simple polygons (without holes) for all scenarios and can also find a rectangular area for each guards. We consider the problem of covering orthogonal polygons with a minimum number of r-stars. In each orthogonal polygon P,...
متن کاملReversibility of a module with respect to the bifunctors Hom and Rej
Let $M_R$ be a non-zero module and ${mathcal F}: sigma[M_R]times sigma[M_R] rightarrow$ Mod-$Bbb{Z}$ a bifunctor. The $mathcal{F}$-reversibility of $M$ is defined by ${mathcal F}(X,Y)=0 Rightarrow {mathcal F}(Y,X)=0$ for all non-zero $X,Y$ in $sigma[M_R]$. Hom (resp. Rej)-reversibility of $M$ is characterized in different ways. Among other things, it is shown th...
متن کاملInvestigation of Reversibility of Asphaltene Precipitation and Deposition for an Iranian Crude Oil
In this work, the precipitation and re-dissolution of asphaltenes were studied for an Iranian relatively heavy crude oil. A series of experiments were designed and carried out to quantitatively examine the reversibility of asphaltenes precipitation upon the change in the solvent concentration along with the temperature. n-Heptane was used as the precipitant, and a temperature range of 30 to...
متن کاملمطالعهای جهت طراحی حفاظ ماشینآلات صنعتی
Introduction: An important measure for ensuring safety in the operation of industrial machinery is to install proper guards that prevent machine hazards and protect operators. The design of industrial machine guards is a key issue in ergonomics and worker safety and has become a focus of research in hand anthropometry. The present study was conducted to assess the different hand anthropometr...
متن کامل